J. Michael Dunn
   HOME

TheInfoList



OR:

Jon Michael Dunn (June 19, 1941 – April 5, 2021) was an American Scientist. He was the Oscar Ewing Professor
Emeritus ''Emeritus/Emerita'' () is an honorary title granted to someone who retires from a position of distinction, most commonly an academic faculty position, but is allowed to continue using the previous title, as in "professor emeritus". In some c ...
of Philosophy, professor emeritus of Informatics and Computer Science, was twice chair of the Philosophy Department, was Executive Associate Dean of the College of Arts and Sciences, and was founding dean of the School of Informatics (now the Luddy School of Informatics, Computing, and Engineering) at
Indiana University Indiana University (IU) is a state university system, system of Public university, public universities in the U.S. state of Indiana. The system has two core campuses, five regional campuses, and two regional centers under the administration o ...
.


Early life and education

Dunn was born in
Fort Wayne, Indiana Fort Wayne is a city in Allen County, Indiana, United States, and its county seat. Located in northeastern Indiana, the city is west of the Ohio border and south of the Michigan border. The city's population was 263,886 at the 2020 census ...
. He went to high school in
Lafayette, Indiana Lafayette ( ) is a city in and is the county seat of Tippecanoe County, Indiana, United States, located northwest of Indianapolis and southeast of Chicago. According to the 2020 United States census, 2020 census, the population of Lafayette ...
, where he worked in
Purdue Purdue University is a public land-grant research university in West Lafayette, Indiana, United States, and the flagship campus of the Purdue University system. The university was founded in 1869 after Lafayette businessman John Purdue donat ...
Biology laboratories after school and summers. He was the first in his family to go to college. He obtained an A.B. in Philosophy from
Oberlin College Oberlin College is a Private university, private Liberal arts colleges in the United States, liberal arts college and conservatory of music in Oberlin, Ohio, United States. Founded in 1833, it is the oldest Mixed-sex education, coeducational lib ...
and a Ph.D. in philosophy (Logic) from the
University of Pittsburgh The University of Pittsburgh (Pitt) is a Commonwealth System of Higher Education, state-related research university in Pittsburgh, Pennsylvania, United States. The university is composed of seventeen undergraduate and graduate schools and colle ...
, where he wrote his dissertation, ''The Algebra of Intensional Logics.''


Career

He taught at
Wayne State University Wayne State University (WSU) is a public university, public research university in Detroit, Michigan, United States. Founded in 1868, Wayne State consists of 13 schools and colleges offering approximately 375 programs. It is Michigan's third-l ...
and at
Yale University Yale University is a Private university, private Ivy League research university in New Haven, Connecticut, United States. Founded in 1701, Yale is the List of Colonial Colleges, third-oldest institution of higher education in the United Stat ...
before coming to
Indiana University Bloomington Indiana University Bloomington (IU Bloomington, Indiana University, IU, IUB, or Indiana) is a public university, public research university in Bloomington, Indiana, United States. It is the flagship university, flagship campus of Indiana Univer ...
in 1969, from which he retired in 2007. He received grants from the
NSF NSF may stand for: Political organizations *National Socialist Front, a Swedish National Socialist party *NS-Frauenschaft, the women's wing of the former German Nazi party * National Students Federation, a leftist Pakistani students' political g ...
, NEH, ACLS, and was a visiting scholar at, among other places, the
Australian National University The Australian National University (ANU) is a public university, public research university and member of the Group of Eight (Australian universities), Group of Eight, located in Canberra, the capital of Australia. Its main campus in Acton, A ...
,
University of Oxford The University of Oxford is a collegiate university, collegiate research university in Oxford, England. There is evidence of teaching as early as 1096, making it the oldest university in the English-speaking world and the List of oldest un ...
, and the
University of Melbourne The University of Melbourne (colloquially known as Melbourne University) is a public university, public research university located in Melbourne, Australia. Founded in 1853, it is Australia's second oldest university and the oldest in the state ...
. In 2014 he was a visiting professor at his Ph.D. alma mater the
University of Pittsburgh The University of Pittsburgh (Pitt) is a Commonwealth System of Higher Education, state-related research university in Pittsburgh, Pennsylvania, United States. The university is composed of seventeen undergraduate and graduate schools and colle ...
. In 2002, he accepted on behalf of the School of Informatics the Techpoint (Indiana Information Technology association) Mira for Outstanding Education Contribution to Information Technology. In 2007, he was awarded the Indiana University Bloomington Provost's Medal, and was made a
Sagamore of the Wabash The Governor of Indiana, Governor of the U.S. state of Indiana can bestow five types of awards: the Sagamore of the Wabash, the Circle of Corydon, the Distinguished Hoosier, the Honorary Hoosier, and the Sachem Award. Given at the Governor's dis ...
by the Governor of Indiana. He was a Fellow of the
American Academy of Arts and Sciences The American Academy of Arts and Sciences (The Academy) is one of the oldest learned societies in the United States. It was founded in 1780 during the American Revolution by John Adams, John Hancock, James Bowdoin, Andrew Oliver, and other ...
. He served as President of the Society for Exact Philosophy, and on the executive committee of the
Association for Symbolic Logic The Association for Symbolic Logic (ASL) is an international organization of specialists in mathematical logic and philosophical logic. The ASL was founded in 1936, and its first president was Curt John Ducasse. The current president of the ASL ...
. He was also an editor of the ''
Journal of Symbolic Logic The '' Journal of Symbolic Logic'' is a peer-reviewed mathematics journal published quarterly by Association for Symbolic Logic. It was established in 1936 and covers mathematical logic. The journal is indexed by '' Mathematical Reviews'', Zent ...
'' and chief editor of the ''
Journal of Philosophical Logic A journal, from the Old French ''journal'' (meaning "daily"), may refer to: *Bullet journal, a method of personal organization *Diary, a record of personal secretive thoughts and as open book to personal therapy or used to feel connected to onesel ...
''. He published six books and over 100 papers, and directed or co-directed 17 Ph.D. dissertations (Philosophy, Computer Science, Mathematics). After he retired, he served on the board of HealthLINC for ten years, the regional health information exchange, and was president there for three years. From 2010, he was affiliated with the Info-Metrics Institute,
American University The American University (AU or American) is a Private university, private University charter#Federal, federally chartered research university in Washington, D.C., United States. Its main campus spans 90-acres (36 ha) on Ward Circle, in the Spri ...
, and was a member of its advisory board (co-chair 2017–2021).


Work

Dunn's research focuses on information based logics, particularly
relevance logic Relevance logic, also called relevant logic, is a kind of non-classical logic requiring the antecedent and consequent of implications to be relevantly related. They may be viewed as a family of substructural or modal logics. It is generally, b ...
s and other so-called "substructural" logics. He has an algebraic approach to these under the heading of "gaggle theory" (for generalized Galois logics), which he has developed in articles, his book with G. Hardgree ''Algebraic Methods in Philosophical Logic'' (Oxford, 2001), and a book with Katalin Bimbó, ''Generalized Galois Logics: Relational Semantics of Nonclassical Logical Calculi''. (CSLI Publications, 2008). He studied as a graduate student with the two major figures in relevance logic,
Alan Ross Anderson Alan Ross Anderson (1925–1973) was an American logician and professor of philosophy at Yale University and the University of Pittsburgh. A frequent collaborator with Nuel Belnap, Anderson was instrumental in the development of relevance ...
and
Nuel Belnap Nuel Dinsmore Belnap Jr. (; May 1, 1930 – June 12, 2024) was an American logician and philosopher who has made contributions to the philosophy of logic, temporal logic, and structural proof theory. He taught at the University of Pittsburgh ...
. He was a contributing author to their book ''Entailment: The Logic of Relevance and Entailment Vol. 1,'' and a full co-author with them to ''Vol. 2.''  He also worked on
quantum logic In the mathematical study of logic and the physical analysis of quantum foundations, quantum logic is a set of rules for manip­ulation of propositions inspired by the structure of quantum theory. The formal system takes as its starting p ...
and
quantum computation A quantum computer is a computer that exploits quantum mechanical phenomena. On small scales, physical matter exhibits properties of both particles and waves, and quantum computing takes advantage of this behavior using specialized hardware. C ...
,
subjective probability Bayesian probability ( or ) is an interpretation of the concept of probability, in which, instead of frequency or propensity of some phenomenon, probability is interpreted as reasonable expectation representing a state of knowledge or as quanti ...
in the context of incomplete and conflicting information, and with Katalin Bimbό proved the decidability of Ticket Entailment (a problem open since 1960). Dunn was honored in 2016 by the book ''J. Michael Dunn on Information Based Logic'', edited by Katalin Bimbó, part of the
Springer Springer or springers may refer to: Publishers * Springer Science+Business Media, aka Springer International Publishing, a worldwide publishing group founded in 1842 in Germany formerly known as Springer-Verlag. ** Springer Nature, a multinationa ...
series ''Outstanding Contributions to Logic''.


References

{{DEFAULTSORT:Dunn, Jon Michael 1941 births 2021 deaths Writers from Fort Wayne, Indiana Indiana University Bloomington faculty Oberlin College alumni University of Pittsburgh alumni 21st-century American philosophers 20th-century American philosophers